例文Through the summation of this approximation function over the non-trivial zeros on the line with real portion 1 / 2, he gave an exact, " explicit formula " for \ pi ( x ).